#include <stdio.h>

extern x;

void ptb() {
	printf("x = %d\n", x);
}